RELATIVE PREDICATIVITY AND DEPENDENT RECURSION IN SECOND-ORDER SET THEORY AND HIGHER-ORDER THEORIES
نویسندگان
چکیده
منابع مشابه
Relative Predicativity and dependent Recursion in second-order Set Theory and Higher-order Theories
This article reports that some robustness of the notions of predicativity and of autonomous progression is broken down if as the given infinite total entity we choose some mathematical entities other than the traditional ω. Namely, the equivalence between normal transfinite recursion scheme and new dependent transfinite recursion scheme, which does hold in the context of subsystems of second or...
متن کاملSome Second Order Set Theory
Set theory is the study of sets, particularly the transfinite, with a focus on well-founded transfinite recursion. Began with Cantor in late 19th century, matured in mid 20th century. Set theory today is vast: independence, large cardinals, forcing, combinatorics, the continuum, descriptive set theory,... Set theory also serves as an ontological foundation for all (or much of) mathematics. Math...
متن کاملSecond order logic and set theory
Both second order logic and set theory can be used as a foundation for mathematics, that is, as a formal language in which propositions of mathematics can be expressed and proved. We take it upon ourselves in this paper to compare the two approaches, second order logic on one hand and set theory on the other hand, evaluating their merits and weaknesses. We argue that we should think of first or...
متن کاملPartiality and Recursion in Higher-Order Logic
We present an illative system Is of classical higher-order logic with subtyping and basic inductive types. The system Is allows for direct definitions of partial and general recursive functions, and provides means for handling functions whose termination has not been proven. We give examples of how properties of some recursive functions may be established in our system. In a technical appendix ...
متن کاملPersistent and Invariant Formulas Relative to Theories of Higher Order
The purpose of this department is to provide early announcement of significant new results, with some indications of proof. Although ordinarily a research announcement should be a brief summary of a paper to be published in full elsewhere, papers giving complete proofs of results of exceptional interest are also solicited. Manuscripts more than eight typewritten double spaced pages long will no...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 2014
ISSN: 0022-4812,1943-5886
DOI: 10.1017/jsl.2014.28